An Assessment of Reiter ' s General MonotonicSolution

نویسنده

  • Tania Bedrax-Weiss
چکیده

Many solutions to the frame problem have been proposed in the literature, some are monotonic and some are nonmonotonic. Reiter recently proposed a solution and its application to the domain of database update speciication, but no proof of soundness or completeness has been provided. We assess Reiter's monotonic solution to the frame problem in the database domain following Sandewall's methodology and we provide a more general underlying semantics that will serve as basis for the assessment of other solutions as well.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Developing an Assessment Tool for Nursing Students` General Clinical Performance

Introduction: The necessity of valid and reliable assessment tools is one of the most emphasized issues in literature related to nursing students` clinical assessment. But it is believed that the present tools are mostly not valid and reliable, and can not measure students` performances properly. The aim of this study was to design a valid and reliable assessment tool for evaluation of nursing ...

متن کامل

An Assessment of Reiter's General Monotonic Solution to the Frame Problem and Its Applicability to Database Updates

Many solutions to the frame problem have been proposed in the literature, some are monotonic and some are nonmonotonic. Reiter recently proposed a solution and its application to the domain of database update speciication, but no proof of soundness or completeness has been provided. We assess Reiter's monotonic solution to the frame problem in the database domain following Sandewall's methodolo...

متن کامل

Reliability and validity of the persian version of the General Oral Health Assessment Index (GOHAI)

Introduction: As the oral health related quality of life has been important in many dental patients GOHAI is an acceptable tool, preparing its Persian version can be useful in oral health research among Persian populations. The aim of this study was to evaluate the reliability and validity of the Persian version of General Oral Health Assessment Index (GOHAI). Methods: Translation was perfor...

متن کامل

How to Progress a Database ( and Why ) I

One way to think about STRIPS is as a mapping from databases to databases, in the following sense: Suppose we want to know what the world would be like if an action, represented by the STRIPS operator , were done in some world, represented by the STRIPS database D 0. To nd out, simply perform the operator on D 0 (by applying 's elementary add and delete revision operators to D 0). We describe t...

متن کامل

How to Progress a Database (and Why) I. Logical Foundations

One way to think about STRIPS is as a mapping from databases to databases, in the following sense: Suppose we want to know what the world would be like if an action, represented by the STRIPS operator , were done in some world, represented by the STRIPS database D 0. To nd out, simply perform the operator on D 0 (by applying 's elementary add and delete revision operators to D 0). We describe t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994